Diagnostic Modelling of Digital Systems with Binary and High-Level Decision Diagrams
نویسندگان
چکیده
A novel hierarchical approach based on decision diagrams (DD) to modelling digital systems is introduced. Two new contributions are proposed: a new class of structurally synthesized binary DDs for modelling structural aspects of digital circuits, and DDs for high-level modelling of systems. Combination of both types of graphs allows to implement uniform formal approach to lowand high-level diagnostic modelling with increased efficiency of fault simulation and test generation for digital systems.
منابع مشابه
Diagnostic Modelling of Digital Systems with Multi-level Decision Diagrams
To cope with the complexity of today’s digital systems in diagnostic modelling, hierarchical approaches should be used. In this paper, the possibilities of using Decision Diagrams (DD) for diagnostic modelling of digital systems are discussed. DDs can be used for modelling systems at different levels of representation like logic level, register transfer level, instruction set level. The nodes i...
متن کاملDiagnostic Modeling of Digital Systems with Multi-Level Decision Diagrams
In order to cope with the complexity of today’s digital systems in diagnostic modeling, hierarchical multi-level approaches should be used. In this chapter, the possibilities of using Decision Diagrams (DD) for uniform diagnostic modeling of digital systems at different levels of abstraction are discussed. DDs can be used for modeling the functions and faults of systems at logic, register trans...
متن کاملDigital Binary Phase-shift Keyed Signal Detector
We have developed the effective algorithm for detecting digital binary phase-shift keyed signals. This algorithm requires a small number of arithmetic operations over the signal period. It can be relatively easy implemented based on the modern programmable logic devices. It also provides high interference immunity by identifying signal presence when signal-to-noise ratio is much less that its w...
متن کاملArchitectures Validation in an Object-oriented Framework
This work presents a new method to validate hardware architecture models in an object-based modelling and simulation framework. Our incremental method called SEP consists in simulating high level models to evaluate performances of new hardware architectures relatively to critical digital signal processing applications. Efficient architecture models built early in the design process due to this ...
متن کاملSymbolic Representations and Analysis of Large Probabilistic Systems
This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by exploiting high-level structure and regularity in the models to which they are applied, increasing the size of the state spaces which can be tackled. In general, this is done by using data structures which provide compact stor...
متن کامل